TEXT_BASE = 0x23f00000